Isogeny-Basd Cryptography Iv - Math Details